The new release 1.2.12 had just been uploaded with all the fixes told in advance. (Plus some minor other fixes.) I've also updated the Android port in the Google Play Store.
Changing the controller mapping to player 1 - who pressed the button in the menu - was doable, but because of problems, (somehow the button configurations messes up if you have controllers with different button mappings and alternate between being player 1 and player 2) I decided to not include it.