Ubuntu support: make local() to use bash