changed basebox from 13.04 to 12.04 due to problems on Linux/Ubuntu hosts