Properly fix Object.getOwnPropertyNames (fix #380)