On the extension property for compact operators