trying an option to fix the rubinius problem